AIM1.PUB[W79,JMC]	PREDICATE CALCULUS WITH "UNDEFINED" AS A TRUTH VALUE
				AI Memo 1
AIPHIL.PRO[W79,JMC]	for CASBS Sloan proposal for AIphil
BEN.[W79,JMC]		Suggestions for Ben Moszkowski on derived functions
CBN.[W79,JMC]		Examples of call-by-name recursion counters.
CHEMEM.[W79,JMC]	Chemical Memories Storing a Register per Molecules
DENNET.2[W79,JMC]	Comments on Dennett's %2True Believers:
			The Intentional Strategy and Why it Works
ENERGY.[W79,JMC]	ENERGY AND IDEOLOGY
FEFERM.[W79,JMC]	Topics to raise with Feferman
FIRST.[W79,JMC]		RECURSIVE PROGRAMS AS FUNCTIONS IN A FIRST ORDER THEORY
FIRST.LEC[W79,JMC]	NOTES FOR LECTURE ON PROVING PROPERTIES
			OF RECURSIVE PROGRAMS
FIRST.NOT[W79,JMC]	notes for revision of FIRST
GARDNE.[W79,JMC]	Anne Gardner's Notes Toward a Legal Reasoning Program
GOEDEL.[W79,JMC]	GOEDEL'S LEMMA AND APPLICATIONS IN FIRST ORDER LISP
HYPOCR.[W79,JMC]	ON THE USEFULNESS OF HYPOCRISY AND PRETENSE
IDAHO.[W79,JMC]		notes for Idaho lecture on AI
INDUCT.AX[W79,JMC]	FOL axioms for transfinite and LISP induction
INTELL.[W79,JMC]	Programs for an intelligent system in Lisp
KNOCOM.[W79,JMC]	COMPUTATION WITH STATES OF KNOWLEDGE
KYOTO.[W79,JMC]		some notes on circumscription
MEMO.PUB[W79,JMC]	a special version
MOORE.[W79,JMC]		Comments on R.C. Moore's thesis draft
MOSZ.LSP[W79,JMC]	recursion counter for Takeuchi function
NOTES.258[W79,JMC]	non-termination of certain functions
ORDER.PRB[W79,JMC]	Proving facts about programs that order ordinals
PROBLE.258[W79,JMC]	CS258←PROBLEM SET→WINTER 1979
QUOTES.[W79,JMC]	Revealing quotes by ecovandals, Lovins,Ehrlich,Train
RATION.[W79,JMC]	RATIONALITY IN HUMAN LIFE
RENEW.PRO[W79,JMC]	basic research in AI renewal proposal
RISKER.[W79,JMC]	THE RISKER
SECOND.[W79,JMC]	ON THE APPLICATIONS OF SECOND ORDER LOGIC TO AI AND MTC
SLOMAN.[W79,JMC]	comments on Sloman's "Computer Revolution in Philosophy"
SMITH.[W79,JMC]		ANTICHRIST, OR THE REUNION OF CHRISTENDOM: AN ODE
SOLITA.LSP[W79,JMC]	lisp solitaire functions
SOLITA.NOT[W79,JMC]	A few solitaire notes
TREE.[W79,JMC]		conversation with Creary - Dec. 17 1979
ABSTRA.[W79,JMC]xxx
AIPHIL.NAM[W79,JMC]xxx
ITERAT.LSP[W79,JMC]xxx
TERRY.[W79,JMC]xxx